home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / sml_nj / 93src.lha / src / boot / dummy.sml < prev    next >
Encoding:
Text File  |  1993-01-27  |  1.7 KB  |  58 lines
  1. (* Copyright 1989 by AT&T Bell Laboratories *)
  2.  
  3. abstraction Dummy : ASSEMBLY =
  4.   struct
  5.     datatype datalist = DATANIL | DATACONS of (string * (unit -> unit) * datalist)
  6.     type func = unit
  7.     datatype funclist = FUNCNIL | FUNC of (func * string * funclist)
  8.     type object = unit
  9.     structure AA = struct
  10.       val array = InLine.cast()
  11.       val callc = InLine.cast()
  12.       type bytearray = string
  13.       type realarray = string
  14.       val create_b = InLine.cast()
  15.       val create_r = InLine.cast()
  16.       val create_s = InLine.cast()
  17. (*      type 'a vector = 'a array*)
  18.       val create_v = InLine.cast()
  19.       val floor = InLine.cast()
  20.       val logb = InLine.cast()
  21.       val scalb =  InLine.cast()
  22.       type spin_lock = unit
  23.       val try_lock = InLine.cast()
  24.       val unlock = InLine.cast()
  25.     end
  26.     structure A : RUNVEC = AA
  27.     exception Div
  28.     exception Overflow
  29.     exception SysError of (int * string)
  30.     exception UnboundTable
  31.     val active_procs = InLine.cast()
  32.     val array0 = InLine.cast()
  33.     val bytearray0 = InLine.cast()
  34.     val calleesaves = InLine.cast()
  35.     val collected = InLine.cast()
  36.     val collectedfrom = InLine.cast()
  37.     val current = InLine.cast()
  38.     val datalist = InLine.cast()
  39.     val dtablesize = InLine.cast()
  40.     val external = InLine.cast()
  41.     val gcmessages = InLine.cast()
  42.     val times = InLine.cast()
  43.     val lastratio = InLine.cast()
  44.     val machine = InLine.cast()
  45.     val majorcollections = InLine.cast()
  46.     val minorcollections = InLine.cast()
  47.     val opsys = InLine.cast()
  48.     val pstruct = InLine.cast()
  49.     val ratio = InLine.cast()
  50.     val realarray0 = InLine.cast()
  51.     val sighandler = InLine.cast()
  52.     val softmax = InLine.cast()
  53.     val vector0 = InLine.cast()
  54. end
  55.  
  56. structure Core = CoreFunc(Dummy)
  57.  
  58.